<?php
/* FILE: logout.php
 * DESCRIPTION: Process called when a user presses the logout link
 * POST DATA: N/A
 * GET DATA: N/A
 */ 

// Inialize session
session_start();

// Delete certain session
unset($_SESSION['user_name']);

// Jump to login page
header('Location: index.php');

?>